Material conditional Totally Explained

Everything about The Material Conditional totally explained

The material conditional, also known as the material implication or truth functional conditional, expresses a property of certain conditionals in logic. In propositional logic, it expresses a binary truth function from truth-values to truth-values. In predicate logic, it can be viewed as a subset relation between the extension of (possibly complex) predicates. In symbols, a material conditional is written as one of the following:

$X
ightarrow Y$ ,
$X supset Y$ , and sometimes
$X Rightarrow Y$

The material conditional is false when X is true and Y is false - otherwise, it's true. (Here, X and Y are variables ranging over formulæ of a formal theory.) We call X the antecedent, and Y the consequent. The material conditional is also commonly referred to as material implication with the understanding that the antecedent (X) materially implies the consequent (Y).
Part of the meaning of the material conditional is encapsulated by the English "if condition then consequence" construction, where the condition and consequence are to be filled with English sentences. However, this construction may not imply the other part of material conditional, which is that a false condition implies nothing about the truth or falsity of the consequence.
An exact encapsulation of the material conditional X → Y is "it's false that X be true while Y false" — for example in symbols,

eg(X and 
eg Y)

. Arguably this is more intuitive than its logically equivalent disjunction ¬X ∨ Y.

Definition

Logical implication and the material conditional are both associated with an operation on two logical values, typically the values of two propositions, that produces a value of false just in case the first operand is true and the second operand is false.

Truth table

The truth table associated with the material conditional if p then q (symbolized as p → q) and the logical implication p implies q (symbolized as p ⇒ q) is as follows:

p	q	→
T	T	T
T	F	F
F	T	T
F	F	T

Johnston diagram

The Johnston diagram of

A Rightarrow B

- "If A then B" - where the white portion indicates the space in which the relation is false.

Formal properties

The material conditional isn't to be confused with the entailment relation ⊨ (which is used here as a name for itself). But there's a close relationship between the two in most logics, including classical logic which we only consider here. For example, the following principles hold:

Gammamodelspsi

then

emptysetmodelsphi_1landdotslandphi_n
ightarrowpsi

for some

phi_1,dots,phi_ninGamma

. (This is a particular form of the deduction theorem.)

The converse of the above

Both and ⊨ are monotonic; for example, if

Gammamodelspsi

then

DeltacupGammamodelspsi

, and if

phi
ightarrowpsi

then

(philandalpha)
ightarrowpsi

for any α, Δ. (In terms of structural rules, this is often referred to as weakening or thinning.) These principles don't hold in all logics, however. Obviously they don't hold in non-monotonic logics, nor do they hold in relevance logics.
Other properties of implication:

distributivity:

s 
ightarrow (p 
ightarrow q) 
ightarrow ((s 
ightarrow p) 
ightarrow (s 
ightarrow q))

transitivity: (

a 
ightarrow b) 
ightarrow ((b 
ightarrow c) 
ightarrow (a 
ightarrow c))

commutativity: (

a 
ightarrow (b 
ightarrow c)) equiv (b 
ightarrow (a 
ightarrow c))

idempotency:

a 
ightarrow a

truth preserving : The interpretation under which all variables are assigned a truth value of 'true' produces a truth value of 'true' as a result of material implication.

Philosophical problems with material conditional

The truth function doesn't correspond exactly to the English 'if...then...' construction. For example, any material conditional statement with a false antecedent is true. So the statement "if 2 is odd then 2 is even" is true. Similarly, any material conditional with a true consequent is true. So the statement, "if Pigs fly then Paris is in France" is true. These problems are known as the paradoxes of material implication, though they're not really paradoxes in the strict sense; that is, they don't elicit logical contradictions.
There are various kinds of conditionals in English; for example, there's the indicative conditional and the subjunctive or counterfactual conditional. The latter don't have the same truth conditions as the material conditional. For an overview of some the various analyses, formal and informal, of conditionals, see the "References" section below.

Further Information

Get more info on 'Material Conditional'.

External Link Exchanges

Do you know how hard it is to get a link from a large encyclopaedia? Well we're different and will prove it. To get a link from us just add the following HTML to your site on a relevant page:

<a href="http://material_conditional.totallyexplained.com">Material conditional Totally Explained</a>

Then simply click through this link from your web page. Our crawlers will verify your link, extract the title of your web page and instantly add a link back to it. If you like you can remove the words Totally Explained and embed the link in article text.
As long as your link remains in place, we'll keep our link to you right here. Please play fair - our crawlers are watching. Your site must be closely related to this one's topic. Any kind of spamming, dubious practises or removing the link will result in your link from us being dropped and, potentially, your whole site being banned.